Environments

The environments for theorem, propositions, lemmas, etc. can be defined with the usual LATEX [1,2] command \newtheorem{..}{..}. The proof environment is already defined.

Theorem 1 (Theorem name)   Consider the system

$\displaystyle \dot{x}$ = A.x + B.u
y = C.x + D.u
(1)
If A is stable, then the pair {A, B} is stabilizable. Moreover, this holds for any B.


\begin{proof} The proof is trivial. \end{proof}